A Small Language Deenition in Z
نویسنده
چکیده
Note: Most SVRC technical reports are available via anonymous ftp, from ftp.cs.uq.edu.au in the directory /pub/SVRC/techreports. Abstract We give give a denotational-style speciication of a simple programming language in Z and comment on the suitability of Z for this purpose. The language speciied is based closely on one speciied by Clii Jones in VDM (Chapter 9 of Case Studies in Systematic Software Development, same language allows a comparison to be drawn between the suitability of VDM and Z for the speciication of programming languages. Of special interest in the comparison are the use of free type deenitions and lambda notation within the speciication.
منابع مشابه
An Object - Oriented Approach to theSemantics of Programming
State-based formal speciication languages such as VDM and Z have been used to deene the semantics of programming languages. Usually, the abstract syntax, static semantics and dynamic semantics of the programming language are deened separately and involve the construction of distinct formal structures. However, if the programming language is enhanced, extending the semantics may require modiicat...
متن کاملStochastic Languages and Stochastic Grammars
Two types of stochastic grammars are introduced for investigation: the (classical) unrestricted stoch-astic grammars and the (newly introduced) weakly restricted stochastic grammars. Especially consistency and conditions for it will be treated. The theory of multitype Galton-Watson branching processes and generating functions is of central importance to nd criteria for consistency. We will prov...
متن کاملObject-z: a Specification Language Advocated for the Description of Standards Object-z: a Speciication Language Advocated for the Description of Standards
The importance of formalising the speciication of standards has been recognised for a number of years. This paper advocates the use of the formal speciication language Object-Z in the deenition of standards. Object-Z is an extension to the Z language speciically to facilitate speciication in an object-oriented style. First, the syntax and semantics of Object-Z are described informally. Then the...
متن کاملObject-z: a Speciication Language Advocated for the Description of Standards
The importance of formalising the speciication of standards has been recognised for a number of years. This paper advocates the use of the formal speciication language Object-Z in the deenition of standards. Object-Z is an extension to the Z language speciically to facilitate speciication in an object-oriented style. First, the syntax and semantics of Object-Z are described informally. Then the...
متن کاملA Note on Recursive Functions
In this paper, we propose a new and elegant deenition of the class of recursive functions, analogous to Kleene's deenition but diiering in the primitives taken, thus demonstrating the computational power of the concurrent programming language in-The deenition can be immediately rephrased for any distributive graph in a count-ably extensive category with products, thus allowing a wide, natural g...
متن کامل